Default Negation as Explicit Negation plus Update

We argue that under the stable model semantics default negation can be read as explicit with update. show dynamic logic programming which is based on negation, even in heads, interpreted a variant of updates only. As corollaries, we get an easy description generalized and normal where initially negated literals are updated. These results discussed respect to understanding logic.